49

Compositionality and correctness of fault tolerant patterns in HOL4

Year:
2014
Language:
english
File:
PDF, 1.33 MB
english, 2014